Decidability and density in two-symbol grammar forms
نویسندگان
چکیده
منابع مشابه
Derivation Complexity in Context-Free Grammar Forms
Let F be an arbitrary context-free grammar form and (F) the family of grammars defined by F. For each grammar G in d(F), the derivation complexity function 6, on the language of G, is defined for each word x as the number of steps in a minimal G-derivation of x. It is shown that derivations may always be speeded up by any constant factor n, in the sense that for each positive integer n, an equi...
متن کاملcomparison of the amount of debris extruded apically in two rotary techniques: flexmaster and m2
چکیده ندارد.
15 صفحه اولA Modular Symbol with Values in Cusp Forms
In [B-G1] and [B-G2], Borisov and Gunnells constructed for each level (N > 1) and for each weight (k ≥ 2) a modular symbol with values in Sk(Γ1(N)) using products of Eisenstein series. In this paper we generalize this result by producing a modular symbol (for GL2(Q)!!!) with values in locally constant distributions on M2(Q) taking values in the space of cuspidal power series in two variables (s...
متن کاملTwo-State Two-Symbol Probabilistic Automata
In this paper, we discuss the algebraic treatments of probabilistic automata with two states. We derive the result that the matrix product corresponding to a given input tape can be decomposed into the sum of a finite number of fundamental matrices which are determined by the matrices corresponding to the input symbols. We introduced the new concept of probabilistic automata completely isolated...
متن کاملA shape grammar interpreter for rectilinear forms
Shape grammars play an important role in a new generation of tools for the analysis and design of products. Up until now there has been numerous attempts to create a general shape grammar interpreter, but most of the existing tools are either very specific in their purpose, have only limited functionality or were programmed for one operating system. In this work we present a tool named Shape Gr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 1981
ISSN: 0166-218X
DOI: 10.1016/0166-218x(81)90006-8